What is Thomas Bruns’s phone number?