Got it!
#include <Wire.h>
#include <DS3231.h>
DS3231 clock;
RTCDateTime dt;
char Time24 [16];
uint8_t Min, Hour;
void setup()
{
Serial.begin(9600);
// Initialize DS3231
Serial.println("Initialize DS3231");;
clock.begin();
clock.setDateTime(2014, 4, 13, 6, 4, 00);
}
void loop()
{
dt = clock.getDateTime();
Min = dt.minute;
Hour = dt.hour;
sprintf_P(Time24, PSTR("Time: %02u%02u\n"), Hour, Min);
Serial.print (Time24);
delay(1000);
}
[/code