Phone numbers in Germany work the same way like you describe with Australia. Internationally you'd have +49 (area code without leading zero) (number) and within Germany you can use (area code with leading zero) (number).
(Internally I add the international prefix. As you can imagine it took a while to find all of the local prefixes and create number masks!)